81. Formal modeling and analysis of timed systems :
Author: Kim G. Larsen, Peter Niebert (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.
82. Formal systems and recursive functions /
Author: edited by J.N. Crossley and M.A.E. Dummett.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
Classification :
QA9
.
615
.
F67
1965
83. Formal techniques for distributed objects, components, and systems :
Author: Jorge A. Pérez, Nobuko Yoshida (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
Classification :
QA76
.
9
.
D5
.
F67
2019
84. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
85. Foundations of software science and computation structures
Author: Jerzy Tiuryn (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,System analysis, Congresses.
86. Fractional calculus and its applications: Proceedings of the international Conference held at the University of New Haven, June 1974
Author: edited by Bertram Ross
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Calculus
Classification :
QA
3
.
L28
no
.
457
87. Fractional calculus and its applications :proceedings of the International Conference held at the Center of Nihon University, Tokyo, May 29-June, 1, 1989 : the 100th anniversary of Nihon University
Author: edited by Katsuyuki Nishimoto
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Fractional calculus
Classification :
QA
303
.
F673
88. Fractional calculus and its applications : proceedings of the international conference held at the University of New Haven, June, 1974
Author: edited by Bertram Ross
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Fractional calculus
Classification :
QA
303
.
F7
1974
89. Fractional calculus and its applications: proceedings of the international conference held at the University of New Haven, June, 1974
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Fractional calculus
Classification :
QA
3
.
L28
no
.
457
90. From stochastic calculus to mathematical finance
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Stochastic analysis ; Congresses. ; Business mathematics ; Congresses. ;
91. From stochastic calculus to mathematical finance
Author: / Yu. Kabanov, R. Lipster, J. Stoyanov
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Stochastic analysis--Congresses,Business mathematics--Congresses
Classification :
QA
,
274
.
2
,.
B33
,
2005
92. Frontiers in PDE-constrained optimization /
Author: Harbir Antil, Drew P. Kouri, Martin-D. Lacasse, Denis Ridzal, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constrained optimization, Congresses.,Differential equations, Partial, Congresses.,Applied mathematics.,Constrained optimization.,Differential calculus & equations.,Differential equations, Partial.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Optimization.,Topology.
Classification :
QA402
.
5
93. Frontiers of applied mathematics :
Author: editors, Din-Yu Hsieh, Meirong Zhang, Weitao Sun.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering mathematics.,Mathematics, Congresses.,Engineering mathematics.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.
Classification :
QA1
.
I88345
2006eb
94. Fundamental approaches to software engineering :
Author: FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Vittorio Cortellessa [und weitere] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software Engineering,Software engineering -- Congresses.,Software engineering.
95. Fuzzy Logic :
Author: W Leinfellner
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
96. Geometric analysis and computer graphics : proceedings of a Workshop held May 23-25, 1988
Author: Paul Concus, Robert Finn, David A. Hoffman, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry, Differential,Congresses ، Computer graphics,Data processing -- Congresses ، Calculus of variations
Classification :
QA
641
.
W633
1988
97. Geometric analysis and computer graphics : proceedings of a workshop held May 23-25, 1988
Author: P. Concus, R. Finn, D.A. Hoffman, editors
Library: Central Library and Documentation Center (Kerman)
Subject: Data processing - Congresses ، Geometry, Differential,Congresses ، Computer graphics,Data processing - Congresses ، Calculus of variations
Classification :
QA
1
.
M3
v
.
17
98. Geometric analysis and computer graphics : proceedings of a workshop held May 23-25, 1988
پدیدآورنده : P. Concus, R. Finn, D.A. Hoffman, editors
موضوع : Geometry, Differential - Data processing - Congresses,Computer graphics - Congresses,Calculus of variations - Data processing - Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
99. Geometric analysis and computer graphicsi proceedings of a workshop held may 23 - 25 , 1988
Author: p. concus R. finn D.A.Hoffman editors
Library: Vali Asr University Central Library (Kerman)
Subject: Geometry , Differential _ Data processing _ congresses,Computer grapnies _ Conglesses,calculus of variations _ Data processing _ congresses
Classification :
QA
641
.
G4
100. Geometric analysis and computer graphicsi proceedings of a workshop held may 23 - 25 , 1988
Author: p. concus R. finn D.A.Hoffman editors
Library: Vali Asr University Central Library (Kerman)
Subject: Geometry , Differential _ Data processing _ congresses,Computer grapnies _ Conglesses,calculus of variations _ Data processing _ congresses
Classification :
QA
641
.
G4
